void f(x) {
  ({'a': a, 'b': b} = x);
}
